1001. Proceedings, Comp sac 78; the IEEE Computer Society's Second International Computer Software & Applications Conference, November 13-16, 1978, the Palmer House
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Electronic digital computers
رده :
QA
76
.
6
.
I52
1978
1002. Proceedings 10: October 8-10, 1986, the Americana Congress Hotel, Chicago, Illinois
پدیدآورنده : COMPSAC'68 )6891 : Chicago,III.(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Computer networks-- Congresses,، Robots, Industrial-- Congresses
رده :
QA
76
.
6
.
C6295
1986
1003. Proceedings of the First Annual ACM_SIAM Symposium on Discrete Algorithms
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Electronic digital computers -- Programming -- Congresses,Algorithms -- Congresses
رده :
QA
76
.
6
.
A278
1990
1004. Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991
پدیدآورنده : ed. by K.R. Parker ...
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic digital computers -- Programming -- Congresses,ESTELLE.,LOTOS (Programmiersprache)
1005. Proceedings of the International Computing Symposium 1975, Antibes, France, 2-4 June 1975
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Congresses,، Programming )Electronic computers(-- Congresses
رده :
QA
76
.
5
.
I54
1975
1006. Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM '91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991
پدیدآورنده : / sponsored by the ACM Special Interest Group SIGPLAN in cooperation with IFIP
کتابخانه: Tehran University, technical faculty libraries 1 (Tehran)
موضوع : Programming languages (Electronic computers) - Semantics - Congresses,Electronic digital computers - Programming - Congresses
رده :
QA
76
.
7
.
S97
1991
1007. Proceedings 15th International Conference on Software Engineering, May 17-21, 1993, Baltimore, maryland
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Software Engineering, the Association for Computing Machinery / SIGSOFT
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming - Congresses , Software engineering - Congresses, Programming languages )Electronic computers( - Congresses
رده :
QA
76
.
6
.
I573
1993
1008. Proceedings 16th International Conference on Software Engineering, May 16-21, 1994, Sorrento, Italy
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Software Engineering, ACM Special Interest Group on Software Engineering )SIGSOFT(, Associazione Italiana per l Informatica ed il Calcolo Automatico )AICA(
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming - Congresses , Software engineering - Congresses , Programming languages )Electronic computers( - Congresses
رده :
QA
76
.
6
.
I573
1994
1009. Proceedings : the Eighteenth Annual International Computer Software & Applications Conference )COMPSAC 94( : November 9-11, 1994, Taipei, Taiwan
پدیدآورنده : Sponsored by the IEEE Computer Society
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming - Congresses , Electronic data processing - Congresses , Computer software - Congresses
رده :
QA
76
.
6
.
C6295
1994
1010. Professional software
پدیدآورنده : Ledgard, Henry F., 3491-
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Computer software- Development,، Electronic digital computers- Programming
رده :
QA
76
.
76
.
D47L43
1987
1011. Progamming concepts; a second couress )with examples in pascal(
پدیدآورنده : Jones, William B.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Pascal )Computer program language(,Programming ، Electronic digital computers
رده :
QA
76
.
73
.
P2
J66
1012. Program Optimization
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming )Electronic computers(,، Electronic digital computers-- Programming
رده :
QA
76
.
P72
1013. Program and electronic projects: for the BBC, electron and spectrum computers
پدیدآورنده : Bishop, Graham
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers,، Microcomputers
رده :
QA
76
.
6
.
B57
1985
1014. Program construction and verification
پدیدآورنده : Backhouse, Roland C.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
7
.
B28
1986
1015. Program construction and verification
پدیدآورنده : Backhouse, Roland C.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming
رده :
QA
76
.
7
.
B28
1986
1016. Program construction and verification
پدیدآورنده : Backhouse, Roland C
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic digital computers -- Programming
رده :
QA
76
.
7
.
B28
1986
1017. Program construction : international summer school
پدیدآورنده : F. L. Bauer ... )et al.( ; edited by F. L. Bauer and M. Broy
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Addresses, essays, lectures ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
69
1018. Program construction : international summer school
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Addresses, essays, lectures
رده :
QA
76
.
6
.
P75117
1019. #Program correctness over abstract data types, with error-state semantics
پدیدآورنده : #J.V. Tucker, J.I. Zucker
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Electronic digital computers- Programming ،Abstract data types )Computer science(
رده :
#
QA
،#.
T83
1020. Program derivation :the development of programs from specifications
پدیدآورنده : Geoff Dromey
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Electronic digital computers--Programming
رده :
QA
،
76
.
6
،.
D77
،
1989
